Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
151	TRANSLATIONS IN SENTENTIAL LOGIC. Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Logic Logical connectives Semantics Philosophical logic Model theory Formal languages Propositional calculus Interpretation First-order logic If and only if False Modal logic
152	Higher Order Modules Revisited David MacQueen University of Chicago Wednesday, April 18, 12 Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:03 Software engineering Computer programming Procedural programming languages Functional languages Programming language theory Standard ML ML Functor Ur
153	Elements and cyclic subgroups of finite order of the Cremona group J´er´emy Blanc April 12, 2009 Abstract We give the classification of elements – respectively cyclic subgroups – Add to Reading List Source URL: jones.math.unibas.ch Language: English - Date: 2014-09-21 13:51:04 Algebra Mathematics Abstract algebra Group theory Finite groups Projective geometry Conjugacy class Lie groups Covering space Elliptic curve Direct product of groups Sylow theorems
154	logical verificationexercises 2 Exercise 1. This exercise is concerned with dependent types. We use the following definition in Coq: Inductive natlist_dep : nat -> Set := \| nil_dep : natlist_dep 0 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-09-02 08:06:23 Logic Mathematical logic Mathematics Type theory Propositional calculus Syntax Predicate logic CurryHoward correspondence Dependent type Lambda calculus First-order logic Proposition
155	Correction to: The p-order of topological triangulated categories Journal of Topology), 868–914 Stefan Schwede Zhi-Wei Li has pointed out a gap in the proof of Proposition A.4 and a missing argument in Proposit Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2015-04-16 03:43:13 Homotopy theory Mathematics Cofibration Fibration Weak equivalence Generalised Whitehead product CurryHoward correspondence
156	Structural aspects of the class of relational structures J. Foniok Department of Applied Mathematics, Faculty of Mathematics and Physics, Charles University, Prague, Czech Republic. Abstract. We summarise some older res Add to Reading List Source URL: www.ifor.math.ethz.ch Language: English - Date: 2007-10-19 09:53:12 Graph theory Mathematics Discrete mathematics Morphisms Graph connectivity Graph homomorphism Graph coloring Order theory Tree Homomorphism Hypergraph Duality
157	GROEBNER: A Package for Calculating Gr¨obner Bases, Version 3.0 H. Melenk & W. Neun Konrad–Zuse–Zentrum f¨ ur Informationstechnik Berlin Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:46:40 Mathematics Algebra Abstract algebra Polynomials Commutative algebra Computer algebra Invariant theory Monomial Variable Grbner basis Monomial order
158	Investigating Capital Structure Decisions and Its Effect on the Nigerian Capital Market Maryam Abdu Department of Business Administration Faculty of Social and Management Sciences Kaduna State University Add to Reading List Source URL: www.21caf.org Language: English - Date: 2015-09-24 16:10:22 Corporate finance Finance Money Economy Capital structure Pecking order theory Cost of capital Mergers and acquisitions Stock market Financial market Weighted average cost of capital Financial ratio
159	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Add to Reading List Source URL: www.mizar.org Language: English - Date: 2016-07-29 01:16:07 Logic Mathematical logic Predicate logic Abstraction Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar
160	J. Autom. Reasoning manuscript No. (will be inserted by the editor) Semi-intelligible Isar Proofs from Machine-Generated Proofs Jasmin Christian Blanchette · Sascha Böhme · Mathias Fleury · Steffen Juilf Smolka · Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-07-02 06:25:32 Logic Mathematical logic Automated theorem proving Mathematics Mathematical proofs Proof assistants Logical truth Proof theory Isabelle First-order logic Automated reasoning Theorem

UPDATE